New Benchmark suite for analytical DBs using real-world SQL queries
github.com·8h·
Discuss: Hacker News
📝Database WAL
Graph Convolutional Branch and Bound
arxiv.org·1d
🧮Vector Embeddings
Binary Search in a 2D Matrix
mmhaskell.com·1d
📐Error Bounds
Machine Learning Fundamentals: decision trees project
dev.to·10h·
Discuss: DEV
🔗Topological Sorting
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Valuable News – 2025/07/14
vermaden.wordpress.com·1d
🔌Operating system internals
Computer Architecture: A quantitative approach
ikerexxe.github.io·1d
🖥️Hardware Architecture
Embedding User-Defined Indexes in Apache Parquet Files
datafusion.apache.org·2d·
Discuss: Lobsters, Hacker News, r/programming
💾Database Formats
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·10h·
Discuss: Hacker News, r/programming
🔒Type Safety
It’s Not What You Pay, It’s How Fast You Play: A History of MEV
hackernoon.com·10h
🖥️Terminal Renaissance
Discussing Decision Trees: What Makes a Good Split?
machinelearningmastery.com·14h
🌳Huffman Trees
A distributed systems reliability glossary
antithesis.com·10h·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
AWS announced support for clusters with up to 100k nodes
aws.amazon.com·1h·
Discuss: Hacker News
🏠Homelab Federation
Show HN: OrioleDB Beta12 Features and Benchmarks
orioledb.com·13h·
Discuss: Hacker News
🗃️Database Storage
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·1d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
How Amazon Bedrock CMI Cut AI Model Onboarding Time by 75%
engineering.salesforce.com·6h
🔄Sync Engine
Categorical Features: The Backbone of Search & Recs Engineering
shaped.ai·1d
🧠Learned Indexing
Billions of Edges per Second with Postgres
onesparse.com·7h·
Discuss: Hacker News
🗜️Graph Compression
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·8h
🧮Kolmogorov Bounds